minios: Fix get_current() inline asm.
authorKeir Fraser <keir@xensource.com>
Tue, 16 Oct 2007 08:30:20 +0000 (09:30 +0100)
committerKeir Fraser <keir@xensource.com>
Tue, 16 Oct 2007 08:30:20 +0000 (09:30 +0100)
commitc6553c4cdeaf51b5c0ebbb059f329ddc7177f03f
tree0a0aea4ce6f85bd61196e41b6cce4e2f640b52eb
parent055562320a4f23221c114a09b1b0e620a3e87dae
minios: Fix get_current() inline asm.
From: Samuel Thibault <samuel.thibault@xensource.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
extras/mini-os/include/x86/arch_sched.h